<?
  print $_SESSION["boasvindas"];
?>
